<html>
<head><meta charset="utf-8"><title>meeting 2019.10.03 · t-compiler/wg-meta · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/index.html">t-compiler/wg-meta</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html">meeting 2019.10.03</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="177270965"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177270965" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177270965">(Oct 03 2019 at 18:11)</a>:</h4>
<p>Hey <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span> <span class="user-group-mention" data-user-group-id="1095">@T-compiler/WG-meta</span> -- sorry, was running late today</p>



<a name="177271059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271059">(Oct 03 2019 at 18:12)</a>:</h4>
<p>hey, no worries, I was around waiting for your ping</p>



<a name="177271115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271115">(Oct 03 2019 at 18:12)</a>:</h4>
<p>I've two PRs of minutes notes</p>



<a name="177271165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271165">(Oct 03 2019 at 18:13)</a>:</h4>
<p>in general I'm merging all the minutes notes but the ones I do :)</p>



<a name="177271368"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271368" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271368">(Oct 03 2019 at 18:15)</a>:</h4>
<p>just merged your PR</p>



<a name="177271397"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271397" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271397">(Oct 03 2019 at 18:15)</a>:</h4>
<p>yeah...some of those I think we should turn into blog posts</p>



<a name="177271404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271404">(Oct 03 2019 at 18:15)</a>:</h4>
<p>on the new inside rust blog :)</p>



<a name="177271407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271407">(Oct 03 2019 at 18:15)</a>:</h4>
<p>but anyway</p>



<a name="177271417"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271417" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271417">(Oct 03 2019 at 18:16)</a>:</h4>
<p>seems like we are ALMOST ready for the ice-breaking</p>



<a name="177271458"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271458" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271458">(Oct 03 2019 at 18:16)</a>:</h4>
<p>yeah</p>



<a name="177271545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271545">(Oct 03 2019 at 18:17)</a>:</h4>
<p>one pending this is <a href="https://github.com/rust-lang/team/pull/123" target="_blank" title="https://github.com/rust-lang/team/pull/123">https://github.com/rust-lang/team/pull/123</a></p>



<a name="177271556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271556">(Oct 03 2019 at 18:17)</a>:</h4>
<p>the changes didn't sound <em>that</em> bad</p>



<a name="177271564"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271564" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271564">(Oct 03 2019 at 18:17)</a>:</h4>
<p>but I got scared when <span class="user-mention" data-user-id="121055">@Pietro Albini</span> talked about integrations</p>



<a name="177271594"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271594" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271594">(Oct 03 2019 at 18:17)</a>:</h4>
<p>I guess there's a good list of them</p>



<a name="177271646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271646">(Oct 03 2019 at 18:18)</a>:</h4>
<p>I just don't know how that is supposed to be "staged"</p>



<a name="177271653"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271653" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271653">(Oct 03 2019 at 18:18)</a>:</h4>
<p>maybe we modify the integrations first to add <code>_</code> cases or whatever</p>



<a name="177271675"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271675" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271675">(Oct 03 2019 at 18:18)</a>:</h4>
<blockquote>
<p>but I got scared when <span class="user-mention silent" data-user-id="121055">Pietro Albini</span> talked about integrations</p>
</blockquote>
<p>hehe :)</p>



<a name="177271721"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271721" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271721">(Oct 03 2019 at 18:19)</a>:</h4>
<p>I guess or either we provide a PR or wait for someone (on infra?) to do the work there?</p>



<a name="177271748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271748">(Oct 03 2019 at 18:19)</a>:</h4>
<p>I think maybe it's on us :)</p>



<a name="177271754"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271754" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271754">(Oct 03 2019 at 18:19)</a>:</h4>
<p>I might enjoy hacking on the team repo a bit actually</p>



<a name="177271807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271807">(Oct 03 2019 at 18:20)</a>:</h4>
<p>well what I was thinking is a good "first PR" would be</p>



<a name="177271818"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271818" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271818">(Oct 03 2019 at 18:20)</a>:</h4>
<p>to add <code>#[non_exhaustive]</code> to this enum</p>



<a name="177271820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271820">(Oct 03 2019 at 18:20)</a>:</h4>
<p>and propagate that</p>



<a name="177271844"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271844" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271844">(Oct 03 2019 at 18:20)</a>:</h4>
<blockquote>
<p>to add <code>#[non_exhaustive]</code> to this enum</p>
</blockquote>
<p>did we stabilize this <span class="user-mention" data-user-id="126931">@centril</span> I forget by now :)</p>



<a name="177271850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271850">(Oct 03 2019 at 18:20)</a>:</h4>
<p>or <span class="user-mention" data-user-id="116107">@davidtwco</span></p>



<a name="177271877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271877">(Oct 03 2019 at 18:20)</a>:</h4>
<p>Not yet.</p>



<a name="177271889"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271889" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271889">(Oct 03 2019 at 18:21)</a>:</h4>
<p>PR is open.</p>



<a name="177271931"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177271931" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177271931">(Oct 03 2019 at 18:21)</a>:</h4>
<p>I’ve got another PR to do relating to the interaction with improper_ctypes</p>



<a name="177272110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272110">(Oct 03 2019 at 18:23)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> unsure if I got what you meant right, do you want me to provide the non_exhaustive PR or are you doing so?</p>



<a name="177272220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272220">(Oct 03 2019 at 18:24)</a>:</h4>
<p>either way, really</p>



<a name="177272239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272239">(Oct 03 2019 at 18:25)</a>:</h4>
<p>probably better if you do it :)</p>



<a name="177272246"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272246" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272246">(Oct 03 2019 at 18:25)</a>:</h4>
<p>:)</p>



<a name="177272248"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272248" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272248">(Oct 03 2019 at 18:25)</a>:</h4>
<p>well, I have the PR to add <code>#[non_exhaustive]</code></p>



<a name="177272250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272250">(Oct 03 2019 at 18:25)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="177272252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272252">(Oct 03 2019 at 18:25)</a>:</h4>
<p>that's easy</p>



<a name="177272259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272259">(Oct 03 2019 at 18:25)</a>:</h4>
<p>right now it does require a feature gate tho</p>



<a name="177272264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272264">(Oct 03 2019 at 18:25)</a>:</h4>
<p>not sure if <span class="user-mention" data-user-id="121055">@Pietro Albini</span> cares about that</p>



<a name="177272274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272274">(Oct 03 2019 at 18:25)</a>:</h4>
<p>plus there are the integrations</p>



<a name="177272353"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272353" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272353">(Oct 03 2019 at 18:26)</a>:</h4>
<p>it <a href="https://github.com/rust-lang-nursery/rustc-perf/blob/master/site/Cargo.toml#L29" target="_blank" title="https://github.com/rust-lang-nursery/rustc-perf/blob/master/site/Cargo.toml#L29">looks like</a> they are just git dependencies</p>



<a name="177272381"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272381" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272381">(Oct 03 2019 at 18:26)</a>:</h4>
<p>so probably we have to (a) land the PR then (b) <code>cargo update -p</code> those dependencies and fix the fallout?</p>



<a name="177272396"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272396" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272396">(Oct 03 2019 at 18:26)</a>:</h4>
<p>I didn't check if they have lock files, but one hopes</p>



<a name="177272452"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272452" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272452">(Oct 03 2019 at 18:27)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="177272540"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272540" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272540">(Oct 03 2019 at 18:28)</a>:</h4>
<p>heh well <a href="https://github.com/rust-lang-nursery/rustc-perf/tree/master/site" target="_blank" title="https://github.com/rust-lang-nursery/rustc-perf/tree/master/site">https://github.com/rust-lang-nursery/rustc-perf/tree/master/site</a> doesn't appear to?</p>



<a name="177272553"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272553" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272553">(Oct 03 2019 at 18:28)</a>:</h4>
<p>oh wait <a href="https://github.com/rust-lang-nursery/rustc-perf/blob/master/Cargo.lock" target="_blank" title="https://github.com/rust-lang-nursery/rustc-perf/blob/master/Cargo.lock">yes it does</a></p>



<a name="177272578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272578">(Oct 03 2019 at 18:29)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> if you're up for that, I say go for it, seems like you might as well roll those changes into your original PR then</p>



<a name="177272595"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272595" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272595">(Oct 03 2019 at 18:29)</a>:</h4>
<p>yep</p>



<a name="177272602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272602">(Oct 03 2019 at 18:29)</a>:</h4>
<p>gonna do that</p>



<a name="177272622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272622">(Oct 03 2019 at 18:29)</a>:</h4>
<p>also the non_exhaustive?</p>



<a name="177272632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272632">(Oct 03 2019 at 18:29)</a>:</h4>
<p>I can do that also</p>



<a name="177272683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272683">(Oct 03 2019 at 18:30)</a>:</h4>
<p>just trying to be sure we don't collide on the same stuff</p>



<a name="177272787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272787">(Oct 03 2019 at 18:31)</a>:</h4>
<blockquote>
<p>also the non_exhaustive?</p>
</blockquote>
<p>yes, I would do it in your same PR</p>



<a name="177272810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272810">(Oct 03 2019 at 18:31)</a>:</h4>
<p>that will force the integrations to write code that is fwd compatible with more additions to the enum</p>



<a name="177272821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272821">(Oct 03 2019 at 18:31)</a>:</h4>
<p>"hey, features working as designed"</p>



<a name="177272848"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272848" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272848">(Oct 03 2019 at 18:31)</a>:</h4>
<p>well, I guess there's a question if that's <em>good</em> :)</p>



<a name="177272860"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177272860" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177272860">(Oct 03 2019 at 18:31)</a>:</h4>
<p>but I guess at worst the website can just panic</p>



<a name="177273212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177273212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177273212">(Oct 03 2019 at 18:35)</a>:</h4>
<p>yep, I'm already adding some bits of code :)</p>



<a name="177273699"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177273699" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177273699">(Oct 03 2019 at 18:42)</a>:</h4>
<p>do you guys have a better name for <code>marker-team</code>? :P, can't come with anything</p>



<a name="177273746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177273746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177273746">(Oct 03 2019 at 18:42)</a>:</h4>
<p>it's like a low-traffic-team</p>



<a name="177273755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177273755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177273755">(Oct 03 2019 at 18:42)</a>:</h4>
<p>unsure if there's a nice word to represent the intention in english</p>



<a name="177287935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177287935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177287935">(Oct 03 2019 at 21:00)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="177287944"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177287944" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177287944">(Oct 03 2019 at 21:00)</a>:</h4>
<p><span aria-label="hi" class="emoji emoji-1f44b" role="img" title="hi">:hi:</span> pietro</p>



<a name="177287959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177287959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177287959">(Oct 03 2019 at 21:01)</a>:</h4>
<p>so, about the feature gate</p>



<a name="177287967"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177287967" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177287967">(Oct 03 2019 at 21:01)</a>:</h4>
<p>for now a <code>__NonExaustive</code> variant would be better</p>



<a name="177288008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288008">(Oct 03 2019 at 21:01)</a>:</h4>
<p>as adding the feature gate on the <code>rust_team_data</code> would force every integration to switch to nightly</p>



<a name="177288015"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288015" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288015">(Oct 03 2019 at 21:01)</a>:</h4>
<p>yep</p>



<a name="177288017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288017">(Oct 03 2019 at 21:02)</a>:</h4>
<p>and at the moment I think only triagebot is on nightly</p>



<a name="177288018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288018">(Oct 03 2019 at 21:02)</a>:</h4>
<p>makes sense</p>



<a name="177288075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288075">(Oct 03 2019 at 21:02)</a>:</h4>
<p>I'll review the PR when I'm actually awake <span aria-label="upside down" class="emoji emoji-1f643" role="img" title="upside down">:upside_down:</span></p>



<a name="177288081"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288081" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288081">(Oct 03 2019 at 21:02)</a>:</h4>
<blockquote>
<p>for now a <code>__NonExaustive</code> variant would be better</p>
</blockquote>
<p>what do you mean by <code>__NonExaustive</code>?</p>



<a name="177288091"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288091" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288091">(Oct 03 2019 at 21:02)</a>:</h4>
<p>to be clear about that</p>



<a name="177288102"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288102" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288102">(Oct 03 2019 at 21:02)</a>:</h4>
<p>just a variant named that way</p>



<a name="177288107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288107">(Oct 03 2019 at 21:02)</a>:</h4>
<p>or a similar name</p>



<a name="177288129"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288129" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288129">(Oct 03 2019 at 21:03)</a>:</h4>
<p>I guess you want me to add that variant to the enum and go over all the different crates that use the team repo to just do not do a match on it?</p>



<a name="177288142"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288142" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288142">(Oct 03 2019 at 21:03)</a>:</h4>
<p>yeah</p>



<a name="177288144"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288144" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288144">(Oct 03 2019 at 21:03)</a>:</h4>
<p>or match but always use a fallback?</p>



<a name="177288242"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288242" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288242">(Oct 03 2019 at 21:04)</a>:</h4>
<p>basically going over the integrations and making sure they all have a default branch in the match</p>



<a name="177288331"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288331" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288331">(Oct 03 2019 at 21:05)</a>:</h4>
<p>I personally don't think it is a _requirement_ to fix everyone</p>



<a name="177288337"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288337" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288337">(Oct 03 2019 at 21:05)</a>:</h4>
<p>obviously it'd be appreciated :)</p>



<a name="177288354"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288354" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288354">(Oct 03 2019 at 21:05)</a>:</h4>
<p>how does serde handle unknown variants when deserializing?</p>



<a name="177288368"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288368" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288368">(Oct 03 2019 at 21:05)</a>:</h4>
<p>(don't remember off the top of my head)</p>



<a name="177288439"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288439" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288439">(Oct 03 2019 at 21:06)</a>:</h4>
<p>ah, error? you can have a <code>#[serde(other)]</code> though I think</p>



<a name="177288447"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288447" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288447">(Oct 03 2019 at 21:06)</a>:</h4>
<blockquote>
<p>Deserialize this variant if the enum tag is anything other than the tag of one of the other variants in this enum. Only allowed on a unit variant inside of an internally tagged or adjacently tagged enum.</p>
</blockquote>



<a name="177288496"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288496" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288496">(Oct 03 2019 at 21:07)</a>:</h4>
<p>which looks like that's not the default unfortunately (i.e., we don't have an internal/adjacent tag most likely)</p>



<a name="177288516"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288516" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288516">(Oct 03 2019 at 21:07)</a>:</h4>
<p>yeah but if we add a variant with <code>#[serde(other)]]</code> we'll still need to add a default match to every integration</p>



<a name="177288596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288596">(Oct 03 2019 at 21:08)</a>:</h4>
<p>I guess naming it <code>Unknown</code> instead of <code>__NonExaustive</code> and marking it <code>#[serde(other)]</code> would be even better</p>



<a name="177288598"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288598" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288598">(Oct 03 2019 at 21:08)</a>:</h4>
<p>I think we need to make sure that integrations don't break before they're redeployed</p>



<a name="177288608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288608">(Oct 03 2019 at 21:08)</a>:</h4>
<p>I'm saying that <code>#[serde(other)]</code> won't work without more changes anyway</p>



<a name="177288621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288621">(Oct 03 2019 at 21:08)</a>:</h4>
<p>we're not adjacently or internally tagged</p>



<a name="177288675"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288675" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288675">(Oct 03 2019 at 21:09)</a>:</h4>
<p>ok, so</p>



<a name="177288762"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288762" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288762">(Oct 03 2019 at 21:10)</a>:</h4>
<p>just pushed <a href="https://github.com/rust-lang/team/pull/123" target="_blank" title="https://github.com/rust-lang/team/pull/123">https://github.com/rust-lang/team/pull/123</a></p>



<a name="177288794"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288794" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288794">(Oct 03 2019 at 21:11)</a>:</h4>
<p>what we should do is to send two PRs: the first add the support for MarkerTeam and the non exaustive thingy</p>



<a name="177288800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288800">(Oct 03 2019 at 21:11)</a>:</h4>
<p>then we update all the integrations</p>



<a name="177288813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288813">(Oct 03 2019 at 21:11)</a>:</h4>
<p>and finally we add the icebreakers team, once all the integrations are updated to properly understand the new variant</p>



<a name="177288817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288817">(Oct 03 2019 at 21:11)</a>:</h4>
<p>yeah I think so</p>



<a name="177288894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288894">(Oct 03 2019 at 21:12)</a>:</h4>
<p>seems good I can leave that PR there and open a new one with just the MarkerTeam stuff</p>



<a name="177288908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288908">(Oct 03 2019 at 21:12)</a>:</h4>
<p><span aria-label="thumbs up" class="emoji emoji-1f44d" role="img" title="thumbs up">:thumbs_up:</span></p>



<a name="177288916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288916">(Oct 03 2019 at 21:12)</a>:</h4>
<p>I'll review it tomorrow</p>



<a name="177288940"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288940" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288940">(Oct 03 2019 at 21:13)</a>:</h4>
<p>basically you meant a first PR that just updates rust_team_data and leave the src part for a later PR</p>



<a name="177288941"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288941" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288941">(Oct 03 2019 at 21:13)</a>:</h4>
<p>right?</p>



<a name="177288970"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288970" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288970">(Oct 03 2019 at 21:13)</a>:</h4>
<p>we can have the src part on the first PR as well</p>



<a name="177288991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177288991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177288991">(Oct 03 2019 at 21:14)</a>:</h4>
<p>we just can't have the actual team</p>



<a name="177289028"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177289028" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177289028">(Oct 03 2019 at 21:14)</a>:</h4>
<p>ok</p>



<a name="177289101"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177289101" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177289101">(Oct 03 2019 at 21:15)</a>:</h4>
<p>thank god the team kind is the only enum in the static api</p>



<a name="177289107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177289107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177289107">(Oct 03 2019 at 21:15)</a>:</h4>
<p>so we won't have to do this mess ever again</p>



<a name="177289201"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177289201" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177289201">(Oct 03 2019 at 21:16)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="177289243"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177289243" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177289243">(Oct 03 2019 at 21:17)</a>:</h4>
<p><span class="user-mention" data-user-id="121055">@Pietro Albini</span> done <a href="https://github.com/rust-lang/team/pull/135" target="_blank" title="https://github.com/rust-lang/team/pull/135">https://github.com/rust-lang/team/pull/135</a></p>



<a name="177289392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177289392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177289392">(Oct 03 2019 at 21:19)</a>:</h4>
<p>and then the old PR is back to just adding the team <a href="https://github.com/rust-lang/team/pull/123" target="_blank" title="https://github.com/rust-lang/team/pull/123">https://github.com/rust-lang/team/pull/123</a></p>



<a name="177337278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177337278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177337278">(Oct 04 2019 at 13:14)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> the "it's not a marker team" is more for me to remember not to merge that PR as soon as the other is ready</p>



<a name="177337297"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177337297" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177337297">(Oct 04 2019 at 13:15)</a>:</h4>
<p>I know you can't act on it right now while keeping CI green</p>



<a name="177337456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177337456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177337456">(Oct 04 2019 at 13:16)</a>:</h4>
<p>I can make that PR be ready to be merge for once the other is merged so I can do <code>marker-team = true</code> there</p>



<a name="177337760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177337760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177337760">(Oct 04 2019 at 13:20)</a>:</h4>
<p><span class="user-mention" data-user-id="121055">@Pietro Albini</span> done</p>



<a name="177337777"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177337777" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177337777">(Oct 04 2019 at 13:20)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> also done!</p>



<a name="177337787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177337787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177337787">(Oct 04 2019 at 13:20)</a>:</h4>
<p>you can rebase</p>



<a name="177338354"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.10.03/near/177338354" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E10.2E03.html#177338354">(Oct 04 2019 at 13:27)</a>:</h4>
<p>done</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>